//line x12.go:4
package main

func F12() {}
